kuratowski's theorem

[计] 库拉托斯基定理